Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей, аксиоматической теорией множеств и теорией вычислений, теория доказательств является одним из так называемых «четырёх столпов» математики. Теория доказательств использует точное определение понятия доказательства при доказательстве невозможности доказательства того или иного предложения в рамках заданной математической теории.
Все значения словосочетания «теория доказательств»Её влияние на последующее развитие отечественной теории доказательств в уголовном процессе сложно переоценить.
Создание обвинительно-розыскного процесса повлекло появление такой категории, как оценка доказательств на основе внутреннего убеждения, которая заняла место формальной теории доказательств по делу.
Вместе с тем обращение только к одной отрасли процессуального законодательства ограничит возможности раскрытия содержания понятия внутреннего убеждения, которое должно быть рассмотрено с учётом межотраслевого характера теории доказательств в судебном процессе.